This is TeX, WAITS Version 1.1 (preloaded format=cplain 84.8.28)  7 SEP 1984 02:53
**prova
(PROVA.TEX[B2,JMC] (CLTEX.FIX[TEX,CLT]) (BMAC.TEX[B2,JMC]) (BMAC.FIX[B2,JMC]
\sxfam=\fam11
)
\unit=\dimen18

(PROVA.[B2,JMC] Chapter 1. [1] [2] [3] [4]
Overfull \hbox (12.89552pt too wide) in paragraph at lines 99--101, p.3
[]\tenrm 2. If $↑↑I$ is an n-ary func-tion ex-pres-sion and $\teni t[]; t[] [] t
[]$ \tenrm are terms then $↑↑I[\teni t[]; t[]; [] t[]\tenrm ]$|

\hbox(7.5+2.5)x361.34999, glue set - 1.0
.\hbox(0.0+0.0)x20.0
.\tenrm 2
.\tenrm .
.\glue 4.44443 plus 4.99997 minus 0.37036
.\tenrm I
.etc.

[5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20]
[21] [22] [23] [24] [25]
! Missing $ inserted.
<inserted text> 
                $
<to be read again> 
                   \par 
p.6,l.24 
         
? 
[26] [27] [28] [29] [30] [31] [32] [33] [34]
! Missing $ inserted.
<inserted text> 
                $
<to be read again> 
                   \par 
p.8,l.113 
          
? 
) [35]
Output written on PROVA.DVI[B2,JMC] (35 pages, 104156 bytes).